Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
411	¨ Torben Brauner’s List of Publications Refereed Workshop and Conference Papers [1] T. Bra¨uner. A model of intuitionistic affine logic from stable domain theory. In S. Abiteboul and E. Shamir, editors, Proceedings o Add to Reading List Source URL: akira.ruc.dk Language: English - Date: 2015-03-22 17:01:36
412	Intuitive Logic Revisited: New Data and a Bayesian Mixed Model Meta-Analysis Henrik Singmann, Karl Christoph Klauer, David Kellen Institut fu¨r Psychologie, Albert-Ludwigs-Universita¨t Freiburg, Freiburg, Germany Abs Add to Reading List Source URL: singmann.org Language: English*
413	STRC 2010 Calculation Time Parallel Queue Simulation Thread Add to Reading List Source URL: www.strc.ch Language: English - Date: 2010-08-27 08:05:35 Software Scientific modeling Computing Digital electronics Simulation Electronic design automation Operations research Agent-based model Logic simulation Traffic simulation Simula Thread
414	How Primary Care Produces Better Outcomes: A Logic Model James W. Mold, MD, MPH Department of Family and Preventive Medicine Add to Reading List Source URL: www.napcrg.org Language: English - Date: 2015-09-04 07:34:44
415	Relational decomposition Lennart Beringer ?? Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2011-05-25 12:08:33 Model theory Mathematical logic Interpretation Philosophy of mind Semantics Relational algebra Structure operator Substitution
416	Conflict-Driven Answer Set Solving: From Theory to Practice∗ Martin Gebser Benjamin Kaufmann Torsten Schaub† Universit¨at Potsdam, Institut f¨ur Informatik, Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2012-05-04 12:04:36 Logic programming Model theory Stable model semantics Natural deduction Pi system
417	Exploring discrete choice model with fuzzy control theory Ming LU, IVT, BAUG, ETHZ Conference paper STRC 2012 Add to Reading List Source URL: www.strc.ch Language: English - Date: 2012-05-16 12:25:21 Fuzzy logic Logic Science and technology Mathematical logic Neuro-fuzzy Fuzzy control system Fuzzy set Adaptive neuro fuzzy inference system Discrete choice Membership function Fuzzy rule Artificial neural network
418	HEALING WITH A GROOVE LOGIC MODEL INPUTS OUTCOMES LOVE OF Add to Reading List Source URL: bmafunders.org Language: English - Date: 2014-10-29 11:14:04
419	Agent-Based Activities Planning for an Iterative Traffic Simulation of Switzerland – Activity Time Allocation Michael Balmer, Dept. of Computer Science, ETH Zurich ¨ Bryan Raney, Dept. of Computer Science, ETH Zurich Add to Reading List Source URL: www.strc.ch Language: English - Date: 2009-01-15 15:14:39 Multi-agent systems Transportation planning Scientific modeling Complex systems theory Models of computation Traffic simulation Agent-based model Simulation Route assignment Traffic congestion Logic simulation
420	Anytime Inference in Probabilistic Logic Programs with TP -Compilation Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt Department of Computer Science KU Leuven, Belgium firstname.lastnam Add to Reading List Source URL: lirias.kuleuven.be Language: English - Date: 2015-11-20 04:37:18 Model theory Predicate logic Markov logic network Rules of inference Probabilistic logic Stable model semantics Resolution First-order logic Atomic formula Propositional calculus FO Inference

UPDATE